#include "print.h"

void printhello() {
    printf("Hello world\n");
}